Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
361	Incremental Product-line Development Kester Clegg & Tim Kelly & John McDermid Rolls-Royce University Technology Centre in Systems and Software Engineering, Department of Computer Science, University of York, York, United Add to Reading List Source URL: www.plees.info Language: English - Date: 2002-10-21 17:25:29 Object-oriented programming Type theory Design Patterns Class Abstract type Requirement Software development process Product family engineering Software prototyping Software engineering Software development Computing
362	PDF Document Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Mathematics Probability and statistics Randomness Philosophy of thermal and statistical physics Entropy Statistical theory Topological entropy Subshift of finite type Volume entropy Ergodic theory Statistics Information theory
363	PDF Document Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:00 Type theory Functional languages Data types Type systems Quantification ATS Hindley–Milner F Sharp System F Software engineering Computing Programming language theory
364	PLEASE TYPE POLICY TITLE HERE Add to Reading List Source URL: www.schn.health.nsw.gov.au Language: English - Date: 2015-05-31 10:05:57 Policy Politics Management Information technology management Systems engineering Change management
365	A Survey of Address Translation Technologies for Flash Memories DONGZHE MA, JIANHUA FENG, and GUOLIANG LI, Tsinghua University Flash is a type of Electronically Erasable Programmable Read-Only Memory (EEPROM). Different Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2014-03-24 21:21:58 Computing Flash file systems Embedded Linux Flash memory Write amplification Solid-state drive YAFFS Read-only memory Multi-level cell Computer memory Computer hardware Non-volatile memory
366	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart1 , Grégoire Henry2 OUD 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:53:50 Functional languages Type theory Type systems OCaml Hindley–Milner Software engineering Computing Computer programming
367	FL Series Frame Less Compressed Air Foam Systems A simple, lightweight easy to use C.A.F. System. Provides”) or 2 (1”) lines, that are factory set to deliver ONE type of Compressed Air Foam (Dry, Wet or Add to Reading List Source URL: www.frfanz.org.nz Language: English - Date: 2012-04-16 03:12:09 Foams Compressed air foam system Fire fighting foam Pump Fire suppression Firefighting Active fire protection Wildland fire suppression
368	Learning Impact Report Game: SimCityEDU Research Date: 2014 Grade Levels 6-8 Sample Size: 400 Study Type: Program Effectiveness Add to Reading List Source URL: about.glasslabgames.org Language: English - Date: 2014-12-15 11:07:36 E-learning 21st Century Skills Systems thinking Education Knowledge Distance education
369	Dimension Types ? Andrew Kennedy University of Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:22:53 Computing Functional languages Procedural programming languages Type systems Type inference Standard ML ML Unification Principal type Programming language theory Type theory Software engineering
370	Language Complexity of Unimodal Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Combinatorics on words Automata theory Dynamical systems Ergodic theory Subshift of finite type Shift space Monoid Orbifold Mathematics Mathematical analysis Combinatorics

UPDATE